A Formal Description of the TransportationProblemThomas Dean and Lloyd

نویسندگان

  • Thomas Dean
  • Lloyd Greenwald
چکیده

In this paper we provide a compact, formal description for an important class of problems involving the deployment of diverse equipment (e.g., planes, ships, trucks) to transport cargo (e.g., personnel and material) throughout large geographical areas for private, government, and military purposes. The problem is particularly interesting for its combination of static and dynamic sources of complexity, and the fact that it allows and in some cases strongly encourages distributed solutions. The merit of this formalization is shown by its application to both understanding the complexities in existing restricted transportation problems and creating new natural restrictions on the general problem. Starting from the general formulation we are able to isolate the static and dynamic sources of complexity in transportation problems and relate them to existing research in computer science and operations research. In addition, we describe techniques for constructing algorithms for the transportation problem with provable performance guarantees.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

Formal Method in Service Composition in Heath Care Systems

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

متن کامل

A Formal Description of the Transportation Problem

In this paper we provide a compact, formal description for an important class of problems involving the deployment of diverse equipment (e.g., planes, ships, trucks) to transport cargo (e.g., personnel and material) throughout large geographical areas for private, government, and military purposes. The problem is particularly interesting for its combination of static and dynamic sources of comp...

متن کامل

معرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی

Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...

متن کامل

Ring structures of mod p equivariant cohomology rings and ring homomorphisms between them

In this paper, we consider a class of connected oriented (with respect to Z/p) closed G-manifolds with a non-empty finite fixed point set, each of which is G-equivariantly formal, where G = Z/p and p is an odd prime. Using localization theorem and equivariant index, we give an explicit description of the mod p equivariant cohomology ring of such a G-manifold in terms of algebra. This makes ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1992